/*
 * Automatically generated C config: don't edit
 * Kiddie-OS version: KERNELVERSION
 * Fri Apr 23 13:43:09 2010
 */
#define AUTOCONF_INCLUDED
#define CONFIG_IC_BASE 0x20
#define CONFIG_ARCH_PC 1
#define CONFIG_KBD_BASE 0x60
#define CONFIG_PCI_BASE 0x0
#define CONFIG_DRAM_BASE 0x0
#define CONFIG_UART0_BASE 0x3f8
#define CONFIG_I386 1
#define CONFIG_MMU 1
#define CONFIG_VIDEO_BASE 0xB8000
#define CONFIG_DEBUG_INFO 1
